تعداد ۵۳ پاسخ غیر تکراری از ۵۳ پاسخ تکراری در مدت زمان ۰,۶۷ ثانیه یافت شد.

1. Advances in systems safety

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Industrial safety ; Management ; Congresses. ; Automatic control ; Reliability ; Congresses. ; Computer software ; Reliability ; Congresses. ;

2. COMPASS '93: Proceedings of the Einth Annual Conference on Computer assurance,June 14-17 ,1993,national Institute of standard and technology ,gaithersbury,MD

پدیدآورنده : / COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computer software - Reliability - Congresses,Computers - Reliability - Congresses

رده :

QA76

.

R44

3. COMPASS 94: Proceedings of the Ninth Annual Conference on Computer Assurance, June 27-July 1, 1994, National Institute of Standard and Technology, Gaithersbury, MD

پدیدآورنده : COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council; in cooperation with British Computer Society

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer software - Reliability - Congresses , Computers - Reliability - Congresses

رده :

QA

76

.

R44

A56

1994

4. Computer safety, reliability, and security

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Reliability ; Congresses. ; Electronic digital computers ; Reliability ; Congresses. ; Computer security ; Congresses. ; Industrial safety ; Congresses. ;

5. Computer safety, reliability, and security

پدیدآورنده : / Erwin Schoitsch (ed.

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Computer software, Reliability, Congresses,Electronic digital computers, Reliability, Congresses,Computer security, Congresses,Industrial safety, Congresses

رده :

QA76

.

76

.

R44

2010

6. Computer safety, reliability, and security

پدیدآورنده : Frank Ortmeier, Peter Daniel (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer security, Congresses,Computer software-- Reliability, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses

رده :

QA76

.

76

.

R44

S24

2012eb

7. Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings

پدیدآورنده : Stuart Anderson, Massimo Felici, Bev Littlewood )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

رده :

QA

76

.

L28

Vol

.

2788

8. Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings

پدیدآورنده : Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Reliability -- Congresses ، Computer software,Reliability --Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

رده :

QA

76

.

L28

Vol

.

3219

9. Computer safety, reliability, and security: 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety

رده :

QA

76

.

76

.

R44

.

S23

2004

10. Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings

پدیدآورنده : Rune Winther, Bjorn Axel Gran, Gustav Dahll )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

رده :

QA

76

.

L28

Vol

.

3688

11. Computer safety, reliability, and security : 19th International Conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings

پدیدآورنده : Floor Koornneef, Meine van der Meulen )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

رده :

QA

76

.

L28

Vol

.

1943

12. Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings

پدیدآورنده : Udo Voges )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

رده :

QA

76

.

L28

Vol

.

2187

13. Computer safety, reliability, and security: 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety

رده :

QA

76

.

76

.

R44

.

S23

2005

14. Dependable software systems engineering /

پدیدآورنده : edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.

رده :

QA76

.

758

15. Developments in risk-based approaches to safety

پدیدآورنده : Felix Redmill and Tom Anderson (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic control-- Reliability, Congresses.,Computer software-- Reliability, Congresses.,Industrial safety-- Management, Congresses.

رده :

T55

.

S2145

2006eb

16. Formal methods for industrial critical systems :

پدیدآورنده : Falk Howar, Jiří Barnat (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.

رده :

QA76

.

9

.

F67

I58

2018eb

17. Formal methods for industrial critical systems :

پدیدآورنده : Darren Cofer, Alessandro Fantechi (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.

رده :

QA76

.

9

.

F67

I594

2008eb

18. Formal methods for industrial critical systems :

پدیدآورنده : Gwen Salaün, Bernhard Schätz (editions.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :

QA76

.

9

.

F67

I58

2011

19. Industrial perspectives of safety-critical systems :

پدیدآورنده : Felix Redmill and Tom Anderson (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.

20. Industrial perspectives of safety-critical systems :

پدیدآورنده : Felix Redmill and Tom Anderson (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.

رده :

T55

.

A1

F455

1998

»
3
2
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است